Executable Use Cases for Pervasive Healthcare
نویسندگان
چکیده
Using a pervasive healthcare system as example, a new approach to specification of user requirements for pervasive IT systems is presented. A formal modelling language, Coloured Petri Nets, is applied to describe what we call Executable Use Cases, EUCs. EUCs are precise, detailed, and executable descriptions of future work processes and their computer support. In particular, EUCs allow user requirements specifications to take the frequently changing context of the users, e.g. their location and equipment in possession, into account. Topics: Specification of user requirements, use cases, Unified Modeling Language (UML), application of Coloured Petri Nets to pervasive systems, context awareness.
منابع مشابه
Executable Design Models for a Pervasive Healthcare Middleware System
UML is applied in the design of a pervasive healthcare middleware system for the hospitals in Aarhus County, Denmark. It works well for the modelling of static aspects of the system, but with respect to describing the behaviour, UML is not sufficient. This paper explains why and, as a remedy, suggests to supplement the UML models with behaviour descriptions in the modelling language Coloured Pe...
متن کاملExecutable Use Cases as Links Between Application Domain Requirements and Machine Specifications
We explain how Executable Use Cases (EUCs) constitute links between application domain requirements and machine specifications. As example, we use an EUC describing the hospital work process medicine administration and its proposed support by a new pervasive health care system. The EUC is based on a generalised state machine in the form of a Coloured Petri Nets model. We demonstrate how the EUC...
متن کاملClinical Proof-of-Concept – A Evaluation Method for Pervasive Healthcare Systems
Pervasive Healthcare – i.e. designing pervasive computing technologies for healthcare usage – is an especially promising area within pervasive and ubiquitous computing research. However, it is extremely difficult to evaluate such systems because establishing clinical evidence for medical benefits would require longitudinal, randomized, doubleblind, placebo-controlled trials involving a homogene...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملSecurity Solutions for Pervasive Healthcare
Pervasive healthcare systems use pervasive computing technologies, e.g., wearable medical sensors with wireless interconnects, to increase the modalities and spatiotemporal dimensions in which healthcare services can be provided for improving patient outcomes. Security is very important in pervasive healthcare systems to protect sensitive health information that it collects and manages; therefo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002